🔢 Algebraic Data Types - emschwartz · Scour

Programming in K

news.ycombinator.com·1d·

Discuss: Hacker News

💻Programming languages

Show HN: Product Model – A structured grammar for bridging PRDs and code

github.com·18h·

Discuss: Hacker News

Generalization of terms via universal algebra

arxiv.org·1d

💻Programming languages

Implementing Burger-Dybvig: finding the shortest decimal that round-trips to the original IEEE 754 bits, with ECMA-262 tie-breaking

lattice-substrate.github.io·22h·

Discuss: r/programming

🔍Binary Analysis

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·19h

Completing the formal proof of higher-dimensional sphere packing

math.inc·17h·

Discuss: Hacker News

📏Linear Types

Learning OCaml: String Interpolation

batsov.com·2h

💻Programming languages

igrishaev/any: Objects for smart comparison in tests.

github.com·1h

🐥 Optimizing nested array operations in PHP: from O(3n) to O(n)

yellowduck.be·1d

🏹Apache Arrow

1-2-3-4-5-6-7-8-9

felixmclean.com·11h

📑Inverted Indexes

In-context learning of representations can be explained by induction circuits

lesswrong.com·12h

🔤Font Rendering

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

🧮SMT Solvers

IaC in AWS with canned templates, price estimates, low-code, CLI

stacktape.com·21h

A Common Interface for Automatic Differentiation

jmlr.org·1d

Parse, Don't Guess

architecture-weekly.com·19h

💾Binary Formats

A Number with a Shadow

campedersen.com·1d

Guidelines for Writing Cryptography Specifications

cfrg.github.io·13h·

Discuss: Hacker News

🔐Cryptography

mradermacher/Qwen3.5-122B-A10B-heretic-GGUF

huggingface.co·20h·

Discuss: r/LocalLLaMA

Localising Stochasticity in Weighted Automata

arxiv.org·1d

🌸Bloom Filters

Design systems checklist

tylercoderre.com·3h

🎨Design Tokens

Loading more...